Next generation software environments : principles, problems, and research directions

The past decade has seen a burgeoning of research and development in software environments. Conferences have been devoted to the topic of practical environments, journal papers produced, and commercial systems sold. Given all the activity, one might expect a great deal of consensus on issues, approaches, and techniques. This is not the case, however. Indeed, the term "environment" is still used in a variety of conflicting ways. Nevertheless substantial progress has been made and we are at least nearing consensus on many critical issues.The purpose of this paper is to characterize environments, describe several important principles that have emerged in the last decade or so, note current open problems, and describe some approaches to these problems, with particular emphasis on the activities of one large-scale research program, the Arcadia project. Consideration is also given to two related topics: empirical evaluation and technology transition. That is, how can environments and their constituents be evaluated, and how can new developments be moved effectively into the production sector

Measurement of the branching ratio of pi^0 -> e^+e^- using K_L -> 3 pi^0 decays in flight

The branching ratio of the rare decay pi^0 -> e^+e^- has been measured in E799-II, a rare kaon decay experiment using the KTeV detector at Fermilab. The pi^0's were produced in fully-reconstructed K_L -> 3 pi^0 decays in flight. We observed 275 candidate pi^0 -> e^+e^- events, with an expected background of 21.4 +- 6.2 events which includes the contribution from Dalitz decays. We measured BR(pi^0 -> e^+e^-, x>0.95) = (6.09 +- 0.40 +- 0.24) times 10^{-8}, where the first error is statistical and the second systematic. This result is the first significant observation of the excess rate for this decay above the unitarity lower bound.Comment: New version shortened to PRL length limit. 5 pages, 4 figures. Published in Phys. Rev. Let

Vaccination against Human Influenza A/H3N2 Virus Prevents the Induction of Heterosubtypic Immunity against Lethal Infection with Avian Influenza A/H5N1 Virus

Annual vaccination against seasonal influenza viruses is recommended for certain individuals that have a high risk for complications resulting from infection with these viruses. Recently it was recommended in a number of countries including the USA to vaccinate all healthy children between 6 and 59 months of age as well. However, vaccination of immunologically naïve subjects against seasonal influenza may prevent the induction of heterosubtypic immunity against potentially pandemic strains of an alternative subtype, otherwise induced by infection with the seasonal strains. Here we show in a mouse model that the induction of protective heterosubtypic immunity by infection with a human A/H3N2 influenza virus is prevented by effective vaccination against the A/H3N2 strain. Consequently, vaccinated mice were no longer protected against a lethal infection with an avian A/H5N1 influenza virus. As a result H3N2-vaccinated mice continued to loose body weight after A/H5N1 infection, had 100-fold higher lung virus titers on day 7 post infection and more severe histopathological changes than mice that were not protected by vaccination against A/H3N2 influenza. The lack of protection correlated with reduced virus-specific CD8+ T cell responses after A/H5N1 virus challenge infection. These findings may have implications for the general recommendation to vaccinate all healthy children against seasonal influenza in the light of the current pandemic threat caused by highly pathogenic avian A/H5N1 influenza viruses

A Rapide-1.0 Definition Of The Adage Avionics System

We have used the Rapide prototyping-languages, developed by Stanford and TRW under the ARPA ProtoTech Program, in a series of exercises to model an early version of IBM's ADAGE software architecture for helicopter avionics systems. These exercises, conducted under the ARPA Domain Specific Software Architectures (DSSA) Program, also assisted the evolution of the Rapide languages. The resulting Rapide-1.0 model of the ADAGE architecture in this paper is substantially more succinct and illuminating than the original models, developed in Rapide-0.2 and Preliminary Rapide-1.0. All Rapide versions include these key features: interfaces, by which types of components and their possible interactions with other components are defined; actions, by which the events that can be observed or generated by such components are defined; and pattern-based constraints, which define properties of the computation of interacting components in terms of partially ordered sets of events. Key features of Rapide-..

Partial Orderings of Event Sets and Their Application to Prototyping Concurrent, Timed Systems

Rapide is a concurrent, object-oriented language specifically designed for prototyping large concurrent systems. One of the principle design goals has been to adopt a computation model in which the synchronization, concurrency, dataflow, and timing aspects of a prototype are explicitly represented and easily accessible both to the prototype itself and to the prototyper. This paper describes the partially ordered event set (poset) computation model, and the features of Rapide for using posets in reactive prototypes and for automatically checking posets. An example prototyping scenario illustrates uses of the poset computation model, with and without timing. keywords: Rapide, partial orders, prototyping, concurrency, real-time, architecture, programming languages. Principle contact: Larry M. Augustin ERL 414, M/C 4055 Computer Systems Laboratory Stanford University Stanford, CA 94305 Tel: (415) 723--9285 Fax: (415) 725--6949 Email: [email protected] 1 This research was supported ..

Next generation software environments : principles, problems, and research directions

The past decade has seen a burgeoning of research and development in software environments. Conferences have been devoted to the topic of practical environments, journal papers produced, and commercial systems sold. Given all the activity, one might expect a great deal of consensus on issues, approaches, and techniques. This is not the case, however. Indeed, the term "environment" is still used in a variety of conflicting ways. Nevertheless substantial progress has been made and we are at least nearing consensus on many critical issues.The purpose of this paper is to characterize environments, describe several important principles that have emerged in the last decade or so, note current open problems, and describe some approaches to these problems, with particular emphasis on the activities of one large-scale research program, the Arcadia project. Consideration is also given to two related topics: empirical evaluation and technology transition. That is, how can environments and their constituents be evaluated, and how can new developments be moved effectively into the production sector